package tr.edu.ege.kipler.satisfiability.profile;

/**
 * 
 * @author İnanç Seylan
 *
 */
public enum Logic {
	SHQ, SHIQ, SHOIQ;
}
